On the Design of Hybrid Control Systems Using Automata Models
نویسندگان
چکیده
The paper gives a systematic way for the development of hybrid control systems, i.e. to reene speciications written in DC (Duration Calculus) into automata models. Firstly, DC formulas are extended with iteration form and a technique for deriving plant automata from DC formulas is presented. Then, a speciication of control automata can be synthesized from plant automata with respect to requirements , based on a necessary and suucient condition for a plant automaton and a requirement to have a control automaton. Water tank and Gas burner examples are demonstrated to illustrate our method.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملSequential and Mixed Genetic Algorithm and Learning Automata (SGALA, MGALA) for Feature Selection in QSAR
Feature selection is of great importance in Quantitative Structure-Activity Relationship (QSAR) analysis. This problem has been solved using some meta-heuristic algorithms such as: GA, PSO, ACO, SA and so on. In this work two novel hybrid meta-heuristic algorithms i.e. Sequential GA and LA (SGALA) and Mixed GA and LA (MGALA), which are based on Genetic algorithm and learning automata for QSAR f...
متن کاملSequential and Mixed Genetic Algorithm and Learning Automata (SGALA, MGALA) for Feature Selection in QSAR
Feature selection is of great importance in Quantitative Structure-Activity Relationship (QSAR) analysis. This problem has been solved using some meta-heuristic algorithms such as: GA, PSO, ACO, SA and so on. In this work two novel hybrid meta-heuristic algorithms i.e. Sequential GA and LA (SGALA) and Mixed GA and LA (MGALA), which are based on Genetic algorithm and learning automata for QSAR f...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملRobust Power Control of Microgrid based on Hybrid Renewable Power Generation Systems
This paper presents modeling and control of a hybrid distributed energy sources including photovoltaic (PV), fuel cell (FC) and battery energy storage (BES) in a microgrid which provides both real and reactive power to support an unbalanced utility grid. The overall configuration of the microgrid including dynamic models for the PV, FC, BES and its power electronic interfacing are briefly descr...
متن کامل